Functors between categories of three-valued Lukasiewicz-Moisil algebras I
نویسندگان
چکیده
منابع مشابه
n×m−valued Lukasiewicz-Moisil algebras with two modal operators
In 2000, Figallo and Sanza introduced the n×m−valued Lukasiewicz-Moisil algebras, which are a particular case of Matrix Lukasiewicz algebras, and a nontrivial generalization of n−valued Lukasiewicz-Moisil algebras. Here we start a research on the class of n × m−valued Lukasiewicz-Moisil algebras endowed with two modal operators (or 2mLMn×m−algebras). These algebras constitute a common generaliz...
متن کاملConnections between M V N Algebras and N-valued Lukasiewicz-moisil Algebras -iv 1 ;2
We introduce two chains of unary operations in the MVn algebra of Revaz Grigolia; they will be used in establishing many connections between these algebras and n-valued Lukasiewicz-Moisil algebras (LMn algebras for short). The study has four parts. It is by and large self-contained. The main result of the rst part is that MV4 algebras coincide with LM4 algebras. The larger class of \relaxed"-MV...
متن کاملProbabilities on Lukasiewicz-Moisil algebras
We define a concept of probability on an n-valued Lukasiewicz-Moisil algebra and we present some basic properties. The main result is an extension theorem for continuous probabilities, which is already known for probabilities defined on Boolean algebras and MV-algebras. © 1998 Elsevier Science Inc. All rights reserved.
متن کاملTense Operators on MV-Algebras and Lukasiewicz-Moisil Algebras
We introduce the tense LMn-algebras and the tense MV algebras as algebraic structures for some tense many-valued logics. A representation theorem for tense LMn-algebras is proved and the polynomially equivalence between tense LM3-algebras (resp. tense LM4-algebras) and tense MV3-algebras (resp. tense MV4-algebras) is established. We study the pairs of dually-conjugated operations on MV -algebra...
متن کاملThe Fiber of Functors between Categories of Algebras
We investigate the fiber of a functor F : C → D between sketchable categories of algebras over an object D ∈ D from two points of view: characterizing its classifying space as a universal Aut(D)-space, and parametrizing its objects in cohomological terms.
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
ژورنال
عنوان ژورنال: Discrete Mathematics
سال: 1984
ISSN: 0012-365X
DOI: 10.1016/0012-365x(84)90109-2